C++ Academy

❓ Что выведет этот код? (C++23)

import std;

constexpr auto make_checker() {
    return [](int x) consteval {
        return x % 3 == 0 || x % 5 == 0;
    };
}

int main() {
    auto checker = make_checker();

    std::vector numbers{1, 3, 5, 9, 10, 14, 15};

    auto filtered = numbers | std::views::filter([&](int x) {
        if (std::is_constant_evaluated()) {
            std::print("constexpr\n");
        }
        return checker(x);
    });

    std::print("Filtered numbers: ");
    for (int x : filtered) {
        std::print("{} ", x);
    }

    std::println("");
} 

🧠 Подсказка:
consteval делает checker доступным только в compile-time, но мы вызываем его в runtime через лямбду — что произойдёт?

std::is_constant_evaluated() — интересный механизм проверки, вызывается ли код во время компиляции.

Как отреагирует компилятор на попытку вызвать consteval функцию в runtime?

📌 Ответ
Этот код на C++23 не скомпилируется, и что именно здесь происходит.

🔍 Напоминаем ключевой фрагмент кода:

```cpp
constexpr auto make_checker() {
return [](int x) consteval {
return x % 3 == 0 || x % 5 == 0;
};
} ```

- Здесь создаётся лямбда-функция, помеченная как consteval.

- Ключевое слово consteval означает: функция обязана быть вызвана во время компиляции.

🧨 Где ошибка?


auto filtered = numbers | std::views::filter([&](int x) {
return checker(x); // ← ошибка тут
});

checker — это consteval-лямбда.

Но ты вызываешь её внутри лямбды, которая будет работать во время выполнения программы — т.е. в runtime.

Это нарушение правила consteval → нельзя вызывать такие функции в runtime-коде.

❌ Что скажет компилятор?
Компилятор выдаст ошибку компиляции, такую или похожую:

error: call to consteval function '<lambda>(int)' is not a constant expression


📘 Объяснение
consteval ≠ constexpr

constexpr — это могут быть вызваны в runtime, если нужно.

consteval — это всегда и только compile-time.

Когда ты вызываешь checker(x) в main(), ты нарушаешь это правило.

✅ Как можно исправить?
Если ты заменишь consteval на constexpr, код скомпилируется и выполнится:


constexpr auto make_checker() {
return [](int x) constexpr {
return x % 3 == 0 || x % 5 == 0;
};
}

И тогда результат будет:

Filtered numbers: 3 5 9 10 15

Потому что:
- 3 делится на 3
- 5 делится на 5
- 9 делится на 3
- 10 делится на 5
- 15 делится на 3 и 5

www.tg-me.com/tw/C Academy/com.cpluspluc/1026

4.5K viewsApr 12 at 10:20

❓ Что выведет этот код? (C++23)

import std;

constexpr auto make_checker() {
    return [](int x) consteval {
        return x % 3 == 0 || x % 5 == 0;
    };
}

int main() {
    auto checker = make_checker();

    std::vector numbers{1, 3, 5, 9, 10, 14, 15};

    auto filtered = numbers | std::views::filter([&](int x) {
        if (std::is_constant_evaluated()) {
            std::print("constexpr\n");
        }
        return checker(x);
    });

    std::print("Filtered numbers: ");
    for (int x : filtered) {
        std::print("{} ", x);
    }

    std::println("");
} 

BY C++ Academy